(clear)
(reset)
(load "classes-71312.clp")
(load "instances-71312.clp")
(reset)
(load "moduleMAIN-71312.clp")
(load "moduleInforming-71312.clp")
(load "moduleAbstraction-71312.clp")
(load "moduleIndexing-71312.clp")
(load "moduleResults-71312.clp")

(watch facts)
(watch instances)
(run)
